[prev] [prev-tail] [tail] [up]

2.2.2 Integrals 101 to 178

Detailed conclusion table per each integral is given by the table below. The elapsed time is in seconds. For failed result it is given as F(-1) if the failure was due to timeout. It is given as F(-2) if the failure was due to an exception being raised, which could indicate a bug in the system. If the failure was due to integral not being evaluated within the time limit, then it is given as F.

In this table, the column N.S. means normalized size and is defined as \(\frac {\text {antiderivative leaf size}}{\text {optimal antiderivative leaf size}}\). To make the table fit the page, the name Mathematica was abbreviated to MMA

Problem 101

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B C F F F F(-2) F(-1)

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

479 531 1089 1934 0 0 0 0 0

N.S.

1 1.11 2.27 4.04 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 1.408 0.384 3.107 0.000 0.000 0.000 0.000 0.000

Problem 102

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B C F(-2) F F F(-2) F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

572 624 1241 332 0 0 0 0 0

N.S.

1 1.09 2.17 0.58 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 1.575 1.806 43.161 0.000 0.000 0.000 0.000 0.000

Problem 103

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B C F F F F(-1) F(-1)

verified

N/A Yes No No TBD TBD TBD TBD TBD

size

628 696 1480 643 0 0 0 0 0

N.S.

1 1.11 2.36 1.02 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 1.863 4.220 5.692 0.000 0.000 0.000 0.000 0.000

Problem 104

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B C F F F(-1) F(-1) F(-1)

verified

N/A Yes No No TBD TBD TBD TBD TBD

size

593 654 1442 524 0 0 0 0 0

N.S.

1 1.10 2.43 0.88 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 1.759 1.835 4.549 0.000 0.000 0.000 0.000 0.000

Problem 105

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B F A F F(-2) F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

134 118 286 265 0 385 0 0 0

N.S.

1 0.88 2.13 1.98 0.00 2.87 0.00 0.00 0.00

time (sec)

N/A 0.320 0.553 8.608 0.000 0.322 0.000 0.000 0.000

Problem 106

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B C F F F(-1) F(-2) F(-1)

verified

N/A Yes No No TBD TBD TBD TBD TBD

size

566 622 1408 2071 0 0 0 0 0

N.S.

1 1.10 2.49 3.66 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 1.620 1.275 4.158 0.000 0.000 0.000 0.000 0.000

Problem 107

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B C F(-2) F F F(-1) F(-1)

verified

N/A Yes No No TBD TBD TBD TBD TBD

size

803 863 1634 965 0 0 0 0 0

N.S.

1 1.07 2.03 1.20 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 2.942 6.045 44.659 0.000 0.000 0.000 0.000 0.000

Problem 108

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C F(-2) F F F(-2) F(-1)

verified

N/A Yes No No TBD TBD TBD TBD TBD

size

765 821 1482 844 0 0 0 0 0

N.S.

1 1.07 1.94 1.10 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 1.763 1.705 39.557 0.000 0.000 0.000 0.000 0.000

Problem 109

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C F(-2) F F F(-2) F(-1)

verified

N/A Yes No No TBD TBD TBD TBD TBD

size

762 815 1477 832 0 0 0 0 0

N.S.

1 1.07 1.94 1.09 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 2.696 2.059 33.948 0.000 0.000 0.000 0.000 0.000

Problem 110

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C F(-2) F F F(-2) F(-1)

verified

N/A Yes No No TBD TBD TBD TBD TBD

size

806 866 1525 925 0 0 0 0 0

N.S.

1 1.07 1.89 1.15 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 2.785 1.863 35.461 0.000 0.000 0.000 0.000 0.000

Problem 111

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B C F F F(-1) F(-1) F(-1)

verified

N/A Yes No No TBD TBD TBD TBD TBD

size

727 795 2053 1269 0 0 0 0 0

N.S.

1 1.09 2.82 1.75 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 1.930 7.390 4.667 0.000 0.000 0.000 0.000 0.000

Problem 112

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B F B F(-1) F(-2) F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

157 144 390 945 0 1015 0 0 0

N.S.

1 0.92 2.48 6.02 0.00 6.46 0.00 0.00 0.00

time (sec)

N/A 0.365 0.761 6.541 0.000 0.496 0.000 0.000 0.000

Problem 113

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B F B F(-1) F(-2) F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

193 189 385 894 0 890 0 0 0

N.S.

1 0.98 1.99 4.63 0.00 4.61 0.00 0.00 0.00

time (sec)

N/A 0.408 0.643 7.185 0.000 0.501 0.000 0.000 0.000

Problem 114

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B C F F F(-1) F(-2) F(-1)

verified

N/A Yes No No TBD TBD TBD TBD TBD

size

704 764 2114 3479 0 0 0 0 0

N.S.

1 1.09 3.00 4.94 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 1.827 6.064 3.307 0.000 0.000 0.000 0.000 0.000

Problem 115

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C F(-2) F F(-1) F(-2) F(-1)

verified

N/A Yes No No TBD TBD TBD TBD TBD

size

1144 1208 2067 1804 0 0 0 0 0

N.S.

1 1.06 1.81 1.58 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 2.322 6.070 47.847 0.000 0.000 0.000 0.000 0.000

Problem 116

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C F(-2) F F(-1) F(-2) F(-1)

verified

N/A Yes No No TBD TBD TBD TBD TBD

size

1144 1208 2075 1278 0 0 0 0 0

N.S.

1 1.06 1.81 1.12 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 3.467 6.064 64.233 0.000 0.000 0.000 0.000 0.000

Problem 117

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C F(-2) F F(-1) F(-2) F(-1)

verified

N/A Yes No No TBD TBD TBD TBD TBD

size

1134 1198 2060 1798 0 0 0 0 0

N.S.

1 1.06 1.82 1.59 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 4.252 6.048 106.523 0.000 0.000 0.000 0.000 0.000

Problem 118

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C F F(-2) A F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

403 369 326 0 0 1699 0 0 0

N.S.

1 0.92 0.81 0.00 0.00 4.22 0.00 0.00 0.00

time (sec)

N/A 1.506 1.564 0.000 0.000 2.439 0.000 0.000 0.000

Problem 119

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C F F(-2) A F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

294 269 263 0 0 1379 0 0 0

N.S.

1 0.91 0.89 0.00 0.00 4.69 0.00 0.00 0.00

time (sec)

N/A 0.576 1.442 0.000 0.000 1.049 0.000 0.000 0.000

Problem 120

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C F F A F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

195 179 213 0 0 1098 0 0 0

N.S.

1 0.92 1.09 0.00 0.00 5.63 0.00 0.00 0.00

time (sec)

N/A 0.395 1.573 0.000 0.000 0.533 0.000 0.000 0.000

Problem 121

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A F(-2) N/A N/A N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

23 23 25 21 0 23 20 23 27

N.S.

1 1.00 1.09 0.91 0.00 1.00 0.87 1.00 1.17

time (sec)

N/A 0.276 6.453 0.493 0.000 0.258 10.391 0.349 1.275

Problem 122

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A F(-2) N/A N/A N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

23 23 25 21 0 23 22 23 27

N.S.

1 1.00 1.09 0.91 0.00 1.00 0.96 1.00 1.17

time (sec)

N/A 0.278 10.945 0.764 0.000 0.260 14.183 0.369 1.407

Problem 123

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A F(-2) N/A N/A N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

23 23 25 21 0 27 22 23 27

N.S.

1 1.00 1.09 0.91 0.00 1.17 0.96 1.00 1.17

time (sec)

N/A 0.271 10.764 0.526 0.000 0.259 118.153 0.343 1.394

Problem 124

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A F(-2) N/A N/A N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

20 20 22 18 0 20 19 20 24

N.S.

1 1.00 1.10 0.90 0.00 1.00 0.95 1.00 1.20

time (sec)

N/A 0.217 17.908 0.439 0.000 0.266 47.880 0.357 1.266

Problem 125

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A F(-2) N/A N/A N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

23 23 25 21 0 23 22 23 27

N.S.

1 1.00 1.09 0.91 0.00 1.00 0.96 1.00 1.17

time (sec)

N/A 0.271 1.862 0.316 0.000 0.264 7.153 0.356 1.526

Problem 126

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C F F(-2) A F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

328 301 247 0 0 192 0 0 0

N.S.

1 0.92 0.75 0.00 0.00 0.59 0.00 0.00 0.00

time (sec)

N/A 0.662 8.064 0.000 0.000 0.108 0.000 0.000 0.000

Problem 127

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C F F(-2) A F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

453 412 325 0 0 292 0 0 0

N.S.

1 0.91 0.72 0.00 0.00 0.64 0.00 0.00 0.00

time (sec)

N/A 0.860 10.695 0.000 0.000 0.113 0.000 0.000 0.000

Problem 128

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C F F(-2) A F(-1) F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

374 341 304 0 0 1697 0 0 0

N.S.

1 0.91 0.81 0.00 0.00 4.54 0.00 0.00 0.00

time (sec)

N/A 0.696 1.586 0.000 0.000 2.235 0.000 0.000 0.000

Problem 129

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C F F A F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

262 242 248 0 0 1375 0 0 0

N.S.

1 0.92 0.95 0.00 0.00 5.25 0.00 0.00 0.00

time (sec)

N/A 0.442 1.322 0.000 0.000 0.982 0.000 0.000 0.000

Problem 130

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A F(-2) N/A N/A N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

23 23 25 21 0 40 20 23 27

N.S.

1 1.00 1.09 0.91 0.00 1.74 0.87 1.00 1.17

time (sec)

N/A 0.283 7.682 2.917 0.000 0.259 72.838 0.474 1.243

Problem 131

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A F(-2) N/A N/A N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

23 23 25 21 0 40 22 23 27

N.S.

1 1.00 1.09 0.91 0.00 1.74 0.96 1.00 1.17

time (sec)

N/A 0.298 11.890 2.283 0.000 0.274 63.269 0.363 1.493

Problem 132

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A F(-2) N/A F(-1) N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

23 23 25 21 0 43 0 23 27

N.S.

1 1.00 1.09 0.91 0.00 1.87 0.00 1.00 1.17

time (sec)

N/A 0.288 11.079 1.111 0.000 0.261 0.000 0.342 1.514

Problem 133

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A F(-2) N/A F(-1) N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

20 20 22 18 0 37 0 20 24

N.S.

1 1.00 1.10 0.90 0.00 1.85 0.00 1.00 1.20

time (sec)

N/A 0.226 18.491 1.258 0.000 0.286 0.000 0.387 1.293

Problem 134

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A F(-2) N/A N/A N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

23 23 25 21 0 40 22 23 27

N.S.

1 1.00 1.09 0.91 0.00 1.74 0.96 1.00 1.17

time (sec)

N/A 0.276 36.147 2.253 0.000 0.267 98.964 0.419 1.686

Problem 135

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A F(-2) N/A N/A N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

23 23 25 21 0 40 22 23 27

N.S.

1 1.00 1.09 0.91 0.00 1.74 0.96 1.00 1.17

time (sec)

N/A 0.287 5.649 0.400 0.000 0.255 65.772 0.370 1.461

Problem 136

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C F F(-2) A F(-1) F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

416 381 303 0 0 286 0 0 0

N.S.

1 0.92 0.73 0.00 0.00 0.69 0.00 0.00 0.00

time (sec)

N/A 0.826 11.197 0.000 0.000 0.138 0.000 0.000 0.000

Problem 137

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C F F(-2) A F(-1) F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

554 504 383 0 0 397 0 0 0

N.S.

1 0.91 0.69 0.00 0.00 0.72 0.00 0.00 0.00

time (sec)

N/A 1.042 11.822 0.000 0.000 0.140 0.000 0.000 0.000

Problem 138

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C F F(-2) A F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

321 296 282 0 0 1383 0 0 0

N.S.

1 0.92 0.88 0.00 0.00 4.31 0.00 0.00 0.00

time (sec)

N/A 1.336 2.010 0.000 0.000 1.107 0.000 0.000 0.000

Problem 139

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C F F(-2) A F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

225 207 239 0 0 1107 0 0 0

N.S.

1 0.92 1.06 0.00 0.00 4.92 0.00 0.00 0.00

time (sec)

N/A 0.497 1.421 0.000 0.000 0.546 0.000 0.000 0.000

Problem 140

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C F F A F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

132 128 107 0 0 870 0 0 0

N.S.

1 0.97 0.81 0.00 0.00 6.59 0.00 0.00 0.00

time (sec)

N/A 0.338 0.326 0.000 0.000 0.358 0.000 0.000 0.000

Problem 141

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A F(-2) N/A N/A N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

23 23 25 21 0 31 20 23 27

N.S.

1 1.00 1.09 0.91 0.00 1.35 0.87 1.00 1.17

time (sec)

N/A 0.275 1.222 0.518 0.000 0.259 7.655 0.354 1.318

Problem 142

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A F(-2) N/A N/A N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

23 23 25 21 0 33 22 23 27

N.S.

1 1.00 1.09 0.91 0.00 1.43 0.96 1.00 1.17

time (sec)

N/A 0.289 5.254 0.839 0.000 0.268 27.192 0.355 1.392

Problem 143

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A F(-2) N/A N/A N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

23 23 25 21 0 27 22 23 27

N.S.

1 1.00 1.09 0.91 0.00 1.17 0.96 1.00 1.17

time (sec)

N/A 0.274 36.978 0.555 0.000 0.269 53.630 0.366 1.422

Problem 144

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A F(-2) N/A N/A N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

20 20 22 18 0 20 19 20 24

N.S.

1 1.00 1.10 0.90 0.00 1.00 0.95 1.00 1.20

time (sec)

N/A 0.214 0.724 0.545 0.000 0.257 15.699 0.351 1.170

Problem 145

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F(-2) A F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

247 232 140 0 0 105 0 0 0

N.S.

1 0.94 0.57 0.00 0.00 0.43 0.00 0.00 0.00

time (sec)

N/A 0.523 0.183 0.000 0.000 0.103 0.000 0.000 0.000

Problem 146

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C F F(-2) A F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

362 332 249 0 0 198 0 0 0

N.S.

1 0.92 0.69 0.00 0.00 0.55 0.00 0.00 0.00

time (sec)

N/A 0.718 6.527 0.000 0.000 0.123 0.000 0.000 0.000

Problem 147

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C F F(-2) A F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

252 234 263 0 0 1480 0 0 0

N.S.

1 0.93 1.04 0.00 0.00 5.87 0.00 0.00 0.00

time (sec)

N/A 1.336 1.528 0.000 0.000 0.521 0.000 0.000 0.000

Problem 148

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C F F(-2) A F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

156 152 162 0 0 1072 0 0 0

N.S.

1 0.97 1.04 0.00 0.00 6.87 0.00 0.00 0.00

time (sec)

N/A 0.446 1.110 0.000 0.000 0.378 0.000 0.000 0.000

Problem 149

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C F F A F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

79 79 78 0 0 283 0 0 0

N.S.

1 1.00 0.99 0.00 0.00 3.58 0.00 0.00 0.00

time (sec)

N/A 0.298 0.249 0.000 0.000 0.312 0.000 0.000 0.000

Problem 150

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A F(-2) N/A N/A N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

23 23 25 21 0 42 20 23 27

N.S.

1 1.00 1.09 0.91 0.00 1.83 0.87 1.00 1.17

time (sec)

N/A 0.289 8.843 2.148 0.000 0.272 75.350 0.359 1.316

Problem 151

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A F(-2) N/A F(-1) N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

23 23 25 21 0 44 0 23 27

N.S.

1 1.00 1.09 0.91 0.00 1.91 0.00 1.00 1.17

time (sec)

N/A 0.305 11.368 5.027 0.000 0.273 0.000 0.365 1.486

Problem 152

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A F(-2) N/A N/A N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

23 23 25 21 0 47 22 23 27

N.S.

1 1.00 1.09 0.91 0.00 2.04 0.96 1.00 1.17

time (sec)

N/A 0.287 14.727 1.467 0.000 0.259 122.610 0.381 1.380

Problem 153

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A F(-2) N/A N/A N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

23 23 25 21 0 47 22 23 27

N.S.

1 1.00 1.09 0.91 0.00 2.04 0.96 1.00 1.17

time (sec)

N/A 0.277 5.864 1.264 0.000 0.266 32.452 0.422 1.149

Problem 154

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F(-2) A F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

108 108 112 0 0 76 0 0 0

N.S.

1 1.00 1.04 0.00 0.00 0.70 0.00 0.00 0.00

time (sec)

N/A 0.298 0.198 0.000 0.000 0.105 0.000 0.000 0.000

Problem 155

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C F F(-2) A F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

275 259 213 0 0 188 0 0 0

N.S.

1 0.94 0.77 0.00 0.00 0.68 0.00 0.00 0.00

time (sec)

N/A 0.568 4.957 0.000 0.000 0.110 0.000 0.000 0.000

Problem 156

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C F F(-2) B F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

243 219 240 0 0 2119 0 0 0

N.S.

1 0.90 0.99 0.00 0.00 8.72 0.00 0.00 0.00

time (sec)

N/A 1.338 1.466 0.000 0.000 0.496 0.000 0.000 0.000

Problem 157

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C F F(-2) B F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

163 148 162 0 0 663 0 0 0

N.S.

1 0.91 0.99 0.00 0.00 4.07 0.00 0.00 0.00

time (sec)

N/A 0.448 0.412 0.000 0.000 0.379 0.000 0.000 0.000

Problem 158

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C F F(-2) B F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

138 126 130 0 0 573 0 0 0

N.S.

1 0.91 0.94 0.00 0.00 4.15 0.00 0.00 0.00

time (sec)

N/A 0.330 0.350 0.000 0.000 0.365 0.000 0.000 0.000

Problem 159

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A F(-2) N/A F(-1) N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

23 23 25 21 0 53 0 23 27

N.S.

1 1.00 1.09 0.91 0.00 2.30 0.00 1.00 1.17

time (sec)

N/A 0.297 16.092 3.111 0.000 0.273 0.000 0.366 1.267

Problem 160

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A F(-2) N/A F(-1) N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

23 23 25 21 0 55 0 23 27

N.S.

1 1.00 1.09 0.91 0.00 2.39 0.00 1.00 1.17

time (sec)

N/A 0.317 18.717 3.412 0.000 0.277 0.000 0.372 1.460

Problem 161

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A F(-2) N/A F(-1) N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

23 23 25 21 0 58 0 23 27

N.S.

1 1.00 1.09 0.91 0.00 2.52 0.00 1.00 1.17

time (sec)

N/A 0.292 15.999 1.654 0.000 0.272 0.000 0.401 1.427

Problem 162

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A F(-2) N/A F(-1) N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

23 23 25 21 0 58 0 23 27

N.S.

1 1.00 1.09 0.91 0.00 2.52 0.00 1.00 1.17

time (sec)

N/A 0.283 15.004 1.543 0.000 0.279 0.000 0.446 1.303

Problem 163

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F A F(-1) F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

276 251 185 0 0 284 0 0 0

N.S.

1 0.91 0.67 0.00 0.00 1.03 0.00 0.00 0.00

time (sec)

N/A 0.525 0.314 0.000 0.000 0.124 0.000 0.000 0.000

Problem 164

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C F F A F(-1) F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

296 271 249 0 0 350 0 0 0

N.S.

1 0.92 0.84 0.00 0.00 1.18 0.00 0.00 0.00

time (sec)

N/A 0.503 0.421 0.000 0.000 0.121 0.000 0.000 0.000

Problem 165

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F(-1) F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

585 541 402 0 0 0 0 0 0

N.S.

1 0.92 0.69 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 2.151 0.884 0.000 0.000 0.000 0.000 0.000 0.000

Problem 166

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

371 344 293 0 0 0 0 0 0

N.S.

1 0.93 0.79 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.647 0.480 0.000 0.000 0.000 0.000 0.000 0.000

Problem 167

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

215 202 171 0 0 0 0 0 0

N.S.

1 0.94 0.80 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.406 0.341 0.000 0.000 0.000 0.000 0.000 0.000

Problem 168

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A N/A N/A N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

23 23 25 23 25 25 20 25 29

N.S.

1 1.00 1.09 1.00 1.09 1.09 0.87 1.09 1.26

time (sec)

N/A 0.257 2.203 4.670 0.572 0.268 35.125 0.319 0.819

Problem 169

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A N/A F(-1) N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

23 23 25 23 25 36 0 25 29

N.S.

1 1.00 1.09 1.00 1.09 1.57 0.00 1.09 1.26

time (sec)

N/A 0.257 4.734 3.287 0.573 0.266 0.000 0.327 0.803

Problem 170

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A N/A F(-1) N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

25 25 27 23 25 42 0 25 29

N.S.

1 1.00 1.08 0.92 1.00 1.68 0.00 1.00 1.16

time (sec)

N/A 0.280 1.063 2.732 0.551 0.286 0.000 0.372 0.897

Problem 171

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A N/A N/A N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

25 25 27 23 25 25 24 25 29

N.S.

1 1.00 1.08 0.92 1.00 1.00 0.96 1.00 1.16

time (sec)

N/A 0.275 0.145 1.367 0.395 0.282 51.607 0.344 0.810

Problem 172

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A N/A N/A N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

25 25 27 23 25 25 24 25 29

N.S.

1 1.00 1.08 0.92 1.00 1.00 0.96 1.00 1.16

time (sec)

N/A 0.270 1.088 1.158 0.408 0.272 21.901 0.357 0.897

Problem 173

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A N/A N/A N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

25 25 27 23 25 45 24 25 29

N.S.

1 1.00 1.08 0.92 1.00 1.80 0.96 1.00 1.16

time (sec)

N/A 0.275 1.222 2.210 0.424 0.279 134.541 0.368 0.982

Problem 174

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F A F(-1) F(-2) F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

401 227 194 0 0 238 0 0 0

N.S.

1 0.57 0.48 0.00 0.00 0.59 0.00 0.00 0.00

time (sec)

N/A 1.570 0.271 0.000 0.000 0.300 0.000 0.000 0.000

Problem 175

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F A F(-1) F(-2) F(-1)

verified

N/A No Yes N/A TBD TBD TBD TBD TBD

size

268 156 159 0 0 181 0 0 0

N.S.

1 0.58 0.59 0.00 0.00 0.68 0.00 0.00 0.00

time (sec)

N/A 1.188 0.339 0.000 0.000 0.276 0.000 0.000 0.000

Problem 176

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F A F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

126 101 138 0 0 124 0 0 0

N.S.

1 0.80 1.10 0.00 0.00 0.98 0.00 0.00 0.00

time (sec)

N/A 0.414 0.192 0.000 0.000 0.264 0.000 0.000 0.000

Problem 177

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A N/A N/A N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

26 26 28 24 88 37 34 26 30

N.S.

1 1.00 1.08 0.92 3.38 1.42 1.31 1.00 1.15

time (sec)

N/A 0.269 0.441 0.372 0.518 0.254 11.160 0.359 1.817

Problem 178

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A N/A N/A N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

26 26 28 24 112 39 36 26 30

N.S.

1 1.00 1.08 0.92 4.31 1.50 1.38 1.00 1.15

time (sec)

N/A 0.288 8.123 3.034 0.496 0.257 83.530 0.362 1.547

[prev] [prev-tail] [front] [up]